Runtime verification - PDFSEARCH.IO - Document Search Engine

Runtime verification
Results: 98

#	Item
91	Rule-Based Runtime Verification Howard Barringer?1 , Allen Goldberg2 , Klaus Havelund2 and Koushik Sen??3 1 2 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:56 Model theory Linear temporal logic Temporal logic Interpretation Modal logic Elementary class Structure Parity of a permutation Trace Logic Mathematics Algebra
92	Instrumentation of Java Bytecode for Runtime Analysis Allen Goldberg and Klaus Havelund Kestrel Technology, NASA Ames Research Center Moffett Field, MS 269-3, California USA Phone: [removed], Email: {goldberg,havelund Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:08 Computing platforms Aspect-oriented programming Aspect-oriented software development Java platform Profiling Java bytecode Java virtual machine Java Runtime verification Computing Software Cross-platform software
93	Runtime Verification for Autonomous Spacecraft Software Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:35 Science Software development Logic in computer science Software quality Runtime verification Formal verification Model checking Software verification Software development process Formal methods Theoretical computer science Software testing
94	Verify Your Runs Klaus Havelund and Allen Goldberg Kestrel Technology, Palo Alto, California, USA http://www.kestreltechnology.com 1 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:25 Applied mathematics Temporal logic Software development Runtime verification Formal verification Model checking Abstract state machines Interval temporal logic Java Pathfinder Formal methods Theoretical computer science Logic in computer science
95	Aspect-Oriented Monitoring of C Programs Klaus Havelund and Eric Van Wyk Abstract— The paper presents current work on extending A SPECT C with state machines, resulting in a framework for aspect-oriented monitoring of Add to Reading List Source URL: www.havelund.com Language: English - Date: 2008-05-28 00:05:43 Aspect-oriented software development Aspect-oriented programming Cross-platform software Programming paradigms Procedural programming languages ALGOL 68 Runtime verification C Sharp C Computing Software development Software engineering
96	Curriculum Vitae Dr. Klaus Havelund Ph.D in Computer Science Senior Research Scientist (SRS) at NASA’s Jet Propulsion Laboratory California Institute of Technology (Caltech) Email: [removed] Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-16 09:55:49 Software engineering Runtime verification Formal verification Prototype Verification System Verification and validation Software development process Actor model Denotational semantics Java Pathfinder Formal methods Theoretical computer science Computing
97	Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Mikhail Chupilko Alexander Kamkin Add to Reading List Source URL: rvg.web.cse.unsw.edu.au Language: English - Date: 2013-03-05 07:19:28 Models of computation Formal languages Symbol Mathematics
98	Java Card 2.2 Off-Card Verifier Add to Reading List Source URL: www.oracle.com Language: English Java platform Computing platforms Java virtual machine Java enterprise platform Java Card Java Runtime verification Smart card Applet Computing Software Cross-platform software